LEUSCHEL, MICHAEL: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 6th Workshop - Lancaster, United Kingdom (2011.07.26-2011.07.26)] Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - ICOOOLPS '11 - Runtime feedback in a meta-tracing JIT for efficient dynamic languages

Bolz, Carl Friedrich, Cuni, Antonio, Fijałkowski, Maciej, Leuschel, Michael, Pedroni, Samuele, Rigo, Armin

Year:

2011

Language:

english

File:

PDF, 229 KB

english, 2011

2

Developing Camille, a text editor for Rodin

Jens Bendisposto, Fabian Fritz, Michael Jastram, Michael Leuschel, Ingo Weigelt

Journal:

Software: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 431 KB

english, 2011

3

Translating B to TLA+ for validation with TLC

Hansen, Dominik, Leuschel, Michael

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.63 MB

english, 2016

4

Editorial

Julia Lawall, Michael Leuschel, Peter Sestoft

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 105 KB

english, 2008

5

Efficient and flexible access control via Jones-optimal logic program specialisation

Steve Barker, Michael Leuschel, Mauricio Varea

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 652 KB

english, 2008

6

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6286 || Interleaving Symbolic Execution and Partial Evaluation

Boer, Frank S., Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael

Year:

2010

Language:

english

File:

PDF, 340 KB

english, 2010

7

A framework for the integration of partial evaluation and abstract interpretation of logic programs

Leuschel, Michael

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2004

Language:

english

File:

PDF, 312 KB

english, 2004

8

Model-based problem solving for university timetable validation and improvement

Schneider, David, Leuschel, Michael, Witt, Tobias

Journal:

Formal Aspects of Computing

Year:

2018

Language:

english

File:

PDF, 2.60 MB

english, 2018

9

ProTest: An Automatic Test Environment for B Specifications

Manoranjan Satpathy, Michael Leuschel, Michael Butler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 341 KB

english, 2005

10

Selected papers on Integrated Formal Methods (iFM09)

Michael Leuschel, Heike Wehrheim

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 136 KB

english, 2011

11

Creating specialised integrity checks through partial evaluation of meta-interpreters

Michael Leuschel, Danny De Schreye

Journal:

The Journal of Logic Programming

Year:

1998

Language:

english

File:

PDF, 2.45 MB

english, 1998

12

Conjunctive partial deduction: foundations, control, algorithms, and experiments

Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 381 KB

english, 1999

13

Preface: Volume 30, Issue 2

Michael Leuschel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 47 KB

english, 2000

14

Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN

Michael Leuschel, Jesper Jørgensen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 289 KB

english, 2000

15

Book Reviews

Michael Leuschel

Journal:

Software Testing, Verification and Reliability

Year:

2002

Language:

english

File:

PDF, 62 KB

english, 2002

16

Constrained partial deduction and the preservation of characteristic trees

Michael Leuschel, Danny de Schreye

Journal:

New Generation Computing

Year:

1998

Language:

english

File:

PDF, 3.14 MB

english, 1998

17

Guest Editorial

Michael Leuschel

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 58 KB

english, 2005

18

Automated property verification for large scale B models with ProB

Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 1013 KB

english, 2011

19

Experiments in program verification using Event-B

Stefan Hallerstede, Michael Leuschel

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 1.24 MB

english, 2012

20

ProB: an automated analysis toolset for the B method

Michael Leuschel, Michael Butler

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2008

Language:

english

File:

PDF, 814 KB

english, 2008

21

Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more

Daniel Plagge, Michael Leuschel

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2010

Language:

english

File:

PDF, 405 KB

english, 2010

22

Efficient approximate verification of B and Z models via symmetry markers

Michael Leuschel, Thierry Massart

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2010

Language:

english

File:

PDF, 861 KB

english, 2010

23

Static slicing of explicitly synchronized languages

Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 1.47 MB

english, 2012

24

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Learn and Test for Event-B – A Rodin Plugin

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 264 KB

english, 2012

25

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || A Practical Event-B Refinement Method Based on a UML-Driven Development Process

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 236 KB

english, 2012

26

[ACM Press the 20th ACM SIGPLAN workshop - Austin, Texas, USA (2011.01.24-2011.01.25)] Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 - Allocation removal by partial evaluation in a tracing JIT

Bolz, Carl Friedrich, Cuni, Antonio, FijaBkowski, Maciej, Leuschel, Michael, Pedroni, Samuele, Rigo, Armin

Year:

2011

Language:

english

File:

PDF, 580 KB

english, 2011

27

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Temporal Logic Model Checking in Alloy

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 262 KB

english, 2012

28

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || A Pattern for Modelling Fault Tolerant Systems in Event-B

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 638 KB

english, 2012

29

Fast offline partial evaluation of logic programs

Leuschel, Michael, Vidal, Germán

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 550 KB

english, 2014

30

Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)

Bendisposto, Jens, Leuschel, Michael, Roggenbach, Markus

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 453 KB

english, 2014

31

Validation of formal models by refinement animation

Hallerstede, Stefan, Leuschel, Michael, Plagge, Daniel

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 1.59 MB

english, 2013

32

[Lecture Notes in Computer Science] Logic Based Program Synthesis and Transformation Volume 2664 || A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene

Leuschel, Michael

Year:

2003

Language:

english

File:

PDF, 250 KB

english, 2003

33

[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Symmetry Reduced Model Checking for B

Turner, Edd, Leuschel, Michael, Spermann, Corinna, Butler, Michael

Year:

2007

Language:

english

File:

PDF, 187 KB

english, 2007

34

[IEEE 2008 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE) - Nanjing, China (2008.06.17-2008.06.19)] 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering - ProB gets Nauty: Effective Symmetry Reduction for B and Z Models

Spermann, Corinna, Leuschel, Michael

Year:

2008

Language:

english

File:

PDF, 212 KB

english, 2008

35

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Modeling the Supervisory Control Theory with Alloy

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 278 KB

english, 2012

36

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6286 ||

de Boer, Frank S., Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael

Year:

2010

Language:

english

File:

PDF, 5.60 MB

english, 2010

37

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6286 || Property-Based Testing - The ProTest Project

de Boer, Frank S., Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael

Year:

2010

Language:

english

File:

PDF, 206 KB

english, 2010

38

Inferring physical units in formal models

Krings, Sebastian, Leuschel, Michael

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 1.51 MB

english, 2017

39

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 5423 || An Introduction to Grammar Convergence

Leuschel, Michael, Wehrheim, Heike

Year:

2009

Language:

english

File:

PDF, 261 KB

english, 2009

40

[ACM Press the 6th ACM SIGPLAN international conference - Verona, Italy (2004.08.24-2004.08.26)] Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 - Model checking object petri nets in prolog

Farwer, Berndt, Leuschel, Michael

Year:

2004

Language:

english

File:

PDF, 733 KB

english, 2004

41

Controlling generalization and polyvariance in partial deduction of normal logic programs

Leuschel, Michael, Martens, Bern, De Schreye, Danny

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1998

Language:

english

File:

PDF, 890 KB

english, 1998

42

[ACM Press the 1995 ACM SIGPLAN symposium - La Jolla, California, United States (1995.06.21-1995.06.23)] Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95 - Towards creating specialised integrity checks through partial evaluation of meta-interpreters

Leuschel, Michael, De Schreye, Danny

Year:

1995

Language:

english

File:

PDF, 1.19 MB

english, 1995

43

Extending partial deduction to tabled execution: some results and open issues

Sagonas, Konstantinos, Leuschel, Michael

Journal:

ACM Computing Surveys

Year:

1998

Language:

english

File:

PDF, 135 KB

english, 1998

44

[ACM Press the 2004 ACM SIGPLAN symposium - Verona, Italy (2004.08.24-2004.08.25)] Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '04 - Efficient and flexible access control via logic program specialisation

Barker, Steve, Leuschel, Michael, Varea, Mauricio

Year:

2004

Language:

english

File:

PDF, 296 KB

english, 2004

45

[ACM Press the 7th ACM SIGPLAN international conference - Lisbon, Portugal (2005.07.11-2005.07.13)] Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 - Self-tuning resource aware specialisation for prolog

Craig, Stephen-John, Leuschel, Michael

Year:

2005

Language:

english

File:

PDF, 369 KB

english, 2005

46

[ACM Press the 2nd ACM SIGPLAN international conference - Montreal, Quebec, Canada (2000.09.20-2000.09.23)] Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 - Solving coverability problems of petri nets by partial deduction

Leuschel, Michael, Lehmann, Helko

Year:

2000

Language:

english

File:

PDF, 314 KB

english, 2000

47

Some achievements and prospects in partial deduction

Leuschel, Michael, Martens, B., de Schreye, D.

Journal:

ACM Computing Surveys

Year:

1998

Language:

english

File:

PDF, 123 KB

english, 1998

48

[ACM Press the 10th international ACM SIGPLAN symposium - Valencia, Spain (2008.07.15-2008.07.17)] Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 - Declarative programming for verification

Leuschel, Michael

Year:

2008

Language:

english

File:

PDF, 211 KB

english, 2008

49

Optimising the ProB model checker for B using partial order reduction

Dobrikov, Ivaylo, Leuschel, Michael

Journal:

Formal Aspects of Computing

Year:

2016

Language:

english

File:

PDF, 905 KB

english, 2016

50

Introduction to the 30th International Conference on Logic Programming Special Issue

LEUSCHEL, MICHAEL, SCHRIJVERS, TOM

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 83 KB

english, 2014